it's high time that... - German English Dictionary